axiomatic proof

英 [ˌæksiəˈmætɪk pruːf] 美 [ˌæksiəˈmætɪk pruːf]

【计】公理证明

计算机



双语例句

  1. In this paper, dynamic nonsmooth bargaining problem is considered through an axiomatic approach in detail. Necessary condition for its Nash bargaining solution is established by the theory of nonsmooth analysis, and the strict mathematical proof is given.
    本文利用非光滑分析理论,采用公理化方法研究了非光滑情形下的动态协商对策问题,给出其Nash协商解的必要条件,并给予了严格的数学证明。